/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package classcreator;

import java.util.Vector;

/**
 *
 * @author Stefano
 */
public class Path extends Vector<GuardedTransition> {
    public Path(){
        super();
    }
    
    public Path(Path p){
        super();
        for(GuardedTransition gt:p){
            this.add(gt);
        }
    }
    
    public String toString(){
        String s="[ ";
        for(GuardedTransition gt:this){
            s=s+gt.startState.name+" -> ";
        }
        if(this.size()>0){
            s=s+this.lastElement().endState.name;
        }
        return s+" ]";
    }
}
